<html>
<body>
如果一个类没有子类，则使该类成为 final。
<p>如果有子类，则意图将类转换为 sealed 类，并在 <code>permits</code> 子句中提供其子类的列表（用于其他编译单元中的子类）。
  如果子类没有标记为 <code>sealed</code> / <code>non-sealed</code> / <code>final</code>，<code>non-sealed</code> 修饰符会自动应用于他们。</p>
</body>
</html>